Backtracking Depth-Resolved Microstructures for Crystal Plasticity Identification—Part 1: Backtracking Microstructures
نویسندگان
چکیده
منابع مشابه
Games with 1-backtracking
We associate to any game G, in the sense of Set Theory, a variant of it we call bck(G). We show through examples that many relevant non-constructive proofs in Algebra and Combinatorics can be interpreted by recursive winning strategy over some game of the form bck(G). We further support this claim by proving that games of the form bck(G) are a sound and complete semantic for a sub-classical log...
متن کاملRelevant Backtracking: Improved Intelligent Backtracking Using Relevance
This work investigates and develops a backtracking algorithm with a novel approach to enumerating and traversing search space. A basic logical framework inspired by relevant logics is presented, highlighting relationships between search and refutation proof construction. Mechanisation of a relevance aware Davis Putnam Logemann Loveland procedure is investigated, and this yields an intelligent b...
متن کاملOptimistic Backtracking - A Backtracking Overlay for Deterministic Incremental Parsing
This paper describes a backtracking strategy for an incremental deterministic transitionbased parser for HPSG. The method could theoretically be implemented on any other transition-based parser with some adjustments. In this paper, the algorithm is evaluated on CuteForce, an efficient deterministic shiftreduce HPSG parser. The backtracking strategy may serve to improve existing parsers, or to a...
متن کاملBacktracking in MLISP2: an efficient backtracking method for LISP
An efficient backtracking method for LISP, used in the MLISP2 language, is described. The method is optimal in the following senses: <1) Only necessary state information is saved. The backtracking system routines are sufficiently efficient to require less than ten percent of the execution time of typical jobs. (2) Most common operations — fetching/storing the value of a variable or the property...
متن کاملReshaping of Single-Crystal Silicon Microstructures
This paper deals with the reshaping technology for realizing three-dimensional (3-D) microstructures through plastic deformation of single-crystal silicon (SCS) films by applying Joule heating. SCS beams are used for determining the behavior of SCS microstructures during reshaping. The reshaped SCS structure has a sharp corner at a point where stress and heat are concentrated. The plastic defor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JOM
سال: 2017
ISSN: 1047-4838,1543-1851
DOI: 10.1007/s11837-017-2585-2